read numbers from a file